Whitehead's pointfree geometry and diametric posets
نویسندگان
چکیده
منابع مشابه
Fundamental results for pointfree convex geometry
Inspired by locale theory, we propose “pointfree convex geometry.” We introduce the notion of convexity algebra as pointfree convexity space. There are two notions of point for convexity algebra: one is chain-prime meet-complete filter and the other is maximal meet-complete filter. In this paper we show the following: (1) the former notion of point induces a dual equivalence between the categor...
متن کاملA geometry of information, I: Nerves, posets and differential forms
The main theme of this workshop (Dagstuhl seminar 04351) is ‘Spatial Representation: Continuous vs. Discrete’. Spatial representation has two contrasting but interacting aspects (i) representation of spaces’ and (ii) representation by spaces. In this paper we will examine two aspects that are common to both interpretations of the theme, namely nerve constructions and refinement. Representations...
متن کاملPointfree Pseudocompactness Revisited
We give several internal and external characterizations of pseudocompactness in frames which extend (and transcend) analogous characterizations in topological spaces. In the case of internal characterizations we do not make reference (explicitly or implicitly) to the reals.
متن کاملPointfree Spectra of Riesz Spaces
One of the best ways of studying ordered algebraic structures is through their spectra. The three well-known spectra usually considered are the Brumfiel, Keimel, and the maximal spectra. The pointfree versions of these spectra were studied by B. Banaschewski for f -rings. Here, we give the pointfree versions of the Keimel and the maximal spectra for Riesz spaces. Moreover, we briefly mention ho...
متن کاملC- and C -quotients in Pointfree Topology
We generalize a major portion of the classical theory of Cand C embedded subspaces to pointfree topology, where the corresponding notions are frame Cand C -quotients. The central results characterize these quotients and generalize Urysohns Extension Theorem, among others. The proofs require calculations in CL, the archimedean f -ring of frame maps from the topology of the reals into the frame ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2010
ISSN: 1425-3305
DOI: 10.12775/llp.2010.010